-tclbatch run_test_isim_0.tcl a few isim_options -testplusarg plusarg_bool=1 -testplusarg plusarg_int=42 -testplusarg plusarg_str=hello
